Model 1 - PDFSEARCH.IO - Document Search Engine

Model 1
Results: 15080

#	Item
681	Partial Orders for Efficient Bounded Model Checking of Concurrent Software? Jade Alglave1 , Daniel Kroening2 , and Michael Tautschnig3 1 3 Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English Computing Computer memory Memory barrier Static single assignment form Symbolic execution Computer engineering
682	Quantifying Sustainability: A Valuation Model Erol Odabasi, Director - Sustainability Johnson & Johnson – Medical Devices & Diagnostics 1 Add to Reading List Source URL: igel.wharton.upenn.edu Language: English - Date: 2016-03-19 08:42:01 Natural environment Environmentalism Sustainability Sustainable products Environmental social science Sustainability brand
683	Catchment Classification and Services–Toward a New Paradigm for Catchment Hydrology Driven by Societal Needs THORSTEN WAGENER1 , MURUGESU SIVAPALAN2 AND BRIAN McGLYNN3 1 Add to Reading List Source URL: www.mcglynnlab.com Language: English - Date: 2013-04-23 10:10:00 Water Hydrology Physical geography Drainage basin Catchment area Runoff model Evapotranspiration Catchment hydrology Water cycle Water resources
684	AIMS: An Inter-Institutional Model for Stewardship Appendix H: Technical Development 1. Functional Requirements for Arrangement and Description The functional requirements presented here were developed by the AIMS partn Add to Reading List Source URL: dcs.library.virginia.edu Language: English - Date: 2015-02-16 14:11:38 Technical communication Computing Archival science Data Information Metadata standards Records management Markup languages Encoded Archival Description Archivist Digital preservation Metadata Encoding and Transmission Standard
685	This article was downloaded by: [Frank, Stefan L.] On: 26 November 2008 Access details: Access Details: [subscription numberPublisher Routledge Informa Ltd Registered in England and Wales Registered Number: 1 Add to Reading List Source URL: www.stefanfrank.info Language: English - Date: 2012-06-04 17:20:42 Linguistics Cognition Cognitive science Cognitive architecture Psychology ACT-R Conceptual model Discourse analysis Latent semantic analysis Working memory Semantic memory
686	Development of Higher Order Model for Non-Linear Interactions in Hyperspectral Data of Mangrove Forests Somdatta Chakravortty1 and Devadatta Sinha2 1. Assistant Professor, Department of Information Technology, Government Add to Reading List Source URL: www.currentscience.ac.in Language: English - Date: 2016-07-11 02:36:01 Flora Ecology Botany Mangroves Spectroscopy Aquatic ecology Geography of India Indomalaya ecozone Sundarbans Avicennia Hyperspectral imaging Excoecaria agallocha
687	Encoding Monomorphic and Polymorphic Types Jasmin Christian Blanchette1 , Sascha Böhme1 , Andrei Popescu1 , and Nicholas Smallbone2 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Logic Mathematical logic Mathematics Automated theorem proving Logic programming Model theory Formal languages Type theory Unification Structure Substitution Symbol
688	§3-1 Soil Erosion and Sedimentation Control and §3-2 Grading Model Land Use Management Code PART THREE: ENVIRONMENTAL PROTECTION Add to Reading List Source URL: www.dca.ga.gov Language: English - Date: 2007-07-17 15:16:21 Environmental soil science Natural environment Soil science Earth Water pollution Construction Geotechnical engineering Desertification Soil erosion Erosion Surface runoff Sediment control
689	1 PDE models for population and residual work applied to peer-to-peer networks Fernando Paganini and Andr´es Ferragut Universidad ORT Uruguay Add to Reading List Source URL: fi.ort.edu.uy Language: English Logic Philosophy Abstraction Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Dynamical system Structure Model theory Decomposition of spectrum
690	Economics 1: Introduction to Economics J. Bradford DeLong <> Review April 20, 2016 8-9 AM Add to Reading List Source URL: delong.typepad.com Language: English - Date: 2016-04-20 12:13:17 Macroeconomics Economics Economy Gross domestic product Output Inflation Symbol Keynesian economics Unemployment ISLM model operator

UPDATE